Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
91	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
92	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-21 03:49:15 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
93	Warp: Lightweight Multi-Key Transactions for Key-Value Stores Robert Escriva†, Bernard Wong‡ , Emin G¨un Sirer† † Computer Science Department, Cornell University ‡ Cheriton School of Computer Science, Universi Add to Reading List Source URL: hyperdex.org Language: English - Date: 2013-11-16 15:09:41 Information Concurrency control Databases Database management systems Commitment ordering Serializability Isolation ACID Extensible Storage Engine Transaction processing Data management Data
94	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-04-10 10:02:52 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management
95	Predicting the Scalability of an STM A Pragmatic Approach Aleksandar Dragojevi´c Rachid Guerraoui Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:46:32 Data management Theoretical computer science Numerical analysis Programming language implementation Software transactional memory Interpolation Parallel computing P Thread Concurrency control Computing Transaction processing
96	ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang1 Junghee Lim1 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-02-02 17:07:10 Software bugs Logic in computer science Debugging Lock Race condition Thread Parallel computing Assertion Dynamic random-access memory Computing Computer programming Software engineering
97	EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele Bugliesi Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Π-calculus Lambda calculus Process calculus Bisimulation FO XTR Theoretical computer science Applied mathematics Mathematics
98	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology
99	Petri net semantics Jonathan Mark Hayman University of Cambridge Computer Laboratory Darwin College Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-03-01 09:25:15 Petri net Computer science Petri Semantics Linguistics Science Concurrency Models of computation Diagrams
100	Granularity and Concurrent Separation Logic Jonathan Hayman Computer Laboratory, University of Cambridge Abstract. When defining the semantics of shared-memory concurrent programming languages, one conventionally has to Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-07 11:14:44 Concurrency Diagrams Petri net Mathematical logic Mathematics Heap Separation logic Theoretical computer science Models of computation Logic in computer science

UPDATE